$\forall$${\it es}$:ES, $e$:E. es{-}init(${\it es}$;$e$) $\leq$ $e$  $\Leftrightarrow$ True